İanələr 15 sentyabr 2024 – 1 oktyabr 2024 Vəsaitlərin toplanılması haqqında
1
Debugging at the Electronic System Level

Debugging at the Electronic System Level

İl:
2010
Dil:
english
Fayl:
PDF, 2.72 MB
0 / 0
english, 2010
2
Computer: Wie funktionieren Smartphone, Tablet & Co.?

Computer: Wie funktionieren Smartphone, Tablet & Co.?

İl:
2017
Dil:
german
Fayl:
PDF, 2.44 MB
0 / 5.0
german, 2017
3
Test pattern generation using Boolean proof engines

Test pattern generation using Boolean proof engines

İl:
2009
Dil:
english
Fayl:
PDF, 6.22 MB
0 / 0
english, 2009
4
Evolutionary Algorithms for Embedded System Design

Evolutionary Algorithms for Embedded System Design

İl:
2003
Dil:
english
Fayl:
PDF, 14.21 MB
0 / 0
english, 2003
12
Formal Specification Level: Concepts, Methods, and Algorithms

Formal Specification Level: Concepts, Methods, and Algorithms

İl:
2015
Dil:
english
Fayl:
PDF, 7.24 MB
0 / 0
english, 2015
13
Quality-Driven SystemC Design

Quality-Driven SystemC Design

İl:
2010
Dil:
english
Fayl:
PDF, 2.70 MB
0 / 0
english, 2010
14
Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

İl:
1998
Dil:
english
Fayl:
PDF, 4.85 MB
0 / 0
english, 1998
15
High Quality Test Pattern Generation and Boolean Satisfiability

High Quality Test Pattern Generation and Boolean Satisfiability

İl:
2012
Dil:
english
Fayl:
PDF, 1.51 MB
0 / 0
english, 2012
16
Formal Verification of Circuits

Formal Verification of Circuits

İl:
2000
Dil:
english
Fayl:
PDF, 12.73 MB
0 / 0
english, 2000
17
Binary Decision Diagrams: Theory and Implementation

Binary Decision Diagrams: Theory and Implementation

İl:
1998
Dil:
english
Fayl:
PDF, 7.56 MB
0 / 0
english, 1998
18
Towards a Design Flow for Reversible Logic

Towards a Design Flow for Reversible Logic

İl:
2010
Dil:
english
Fayl:
PDF, 3.49 MB
0 / 0
english, 2010
21
Quality-Driven SystemC Design

Quality-Driven SystemC Design

İl:
2010
Dil:
english
Fayl:
PDF, 3.25 MB
0 / 0
english, 2010
22
Spectral Techniques in VLSI CAD

Spectral Techniques in VLSI CAD

İl:
2001
Dil:
english
Fayl:
PDF, 9.48 MB
0 / 0
english, 2001
27
Test Pattern Generation using Boolean Proof Engines

Test Pattern Generation using Boolean Proof Engines

İl:
2009
Dil:
english
Fayl:
PDF, 4.80 MB
0 / 0
english, 2009
29
Towards One-Pass Synthesis

Towards One-Pass Synthesis

İl:
2002
Dil:
english
Fayl:
PDF, 6.34 MB
0 / 0
english, 2002
30
Towards One-Pass Synthesis

Towards One-Pass Synthesis

İl:
2002
Dil:
english
Fayl:
PDF, 4.92 MB
0 / 0
english, 2002